Yuri G. Gurevich: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Optimal no-go theorem on hidden-variable predictions of effect expectations

Blass, Andreas, Gurevich, Yuri

Journal:

Physical Review A

Year:

2018

Language:

english

File:

PDF, 201 KB

english, 2018

2

Fixed-point extensions of first-order logic

Yuri Gurevich, Saharon Shelah

Journal:

Annals of Pure and Applied Logic

Year:

1986

Language:

english

File:

PDF, 1.07 MB

english, 1986

3

Intuitionistic logic with strong negation

Journal:

Year:

1977

Language:

english

File:

PDF, 506 KB

english, 1977

4

A Natural Axiomatization of Computability and Proof of Church's Thesis

Nachum Dershowitz and Yuri Gurevich

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 6.19 MB

english, 2008

5

Henkin quantifiers and complete problems

Andreas Blass, Yuri Gurevich

Journal:

Annals of Pure and Applied Logic

Year:

1986

Language:

english

File:

PDF, 1.88 MB

english, 1986

6

Datalog vs first-order logic

Miklos Ajtai, Yuri Gurevich

Journal:

Journal of Computer and System Sciences

Year:

1994

Language:

english

File:

PDF, 1.39 MB

english, 1994

7

Equivalence Relations, Invariants, and Normal Forms

Blass, Andreas, Gurevich, Yuri

Journal:

SIAM Journal on Computing

Year:

1984

Language:

english

File:

PDF, 1.14 MB

english, 1984

8

A Geometric Zero-One Law

Robert H. Gilman, Yuri Gurevich and Alexei Miasnikov

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 932 KB

english, 2009

9

Response to “Comment on I. Lashkevych, O. Yu. Titov, and Yu.G. Gurevich, Ohm’s Law for a Bipolar Semiconductor: The Role of Carrier Concentration and Energy Nonequilibria, J. Electron. Mater., 46, 585 (2017)”

Lashkevych, Igor, Titov, Oleg Yu., Gurevich, Yuri G.

Journal:

Journal of Electronic Materials

Year:

2018

Language:

english

File:

PDF, 325 KB

english, 2018

10

On the number of active nodes in a multicomputer system

Amnon Barak, Zvi Drezner, Yuri Gurevich

Journal:

Year:

1986

Language:

english

File:

PDF, 362 KB

english, 1986

11

Average case completeness

Journal:

Journal of Computer and System Sciences

Year:

1991

Language:

english

File:

PDF, 2.67 MB

english, 1991

12

Metafinite Model Theory

Erich Grädel, Yuri Gurevich

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 776 KB

english, 1998

13

On the unique satisfiability problem

Andreas Blass, Yuri Gurevich

Journal:

Information and Control

Year:

1982

Language:

english

File:

PDF, 452 KB

english, 1982

14

A zero-one law for logic with a fixed-point operator

Andreas Blass, Yuri Gurevich, Dexter Kozen

Journal:

Information and Control

Year:

1985

Language:

english

File:

PDF, 1.10 MB

english, 1985

15

Abstract Hilbertian deductive systems, infon logic, and Datalog

Blass, Andreas, Gurevich, Yuri

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 303 KB

english, 2013

16

Modest Theory of Short Chains. II

Yuri Gurevich and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 331 KB

english, 1979

17

The Word Problem for Lattice-Order Groups

A. M. W. Glass and Yuri Gurevich

Journal:

Transactions of the American Mathematical Society

Year:

1983

Language:

english

File:

PDF, 1.24 MB

english, 1983

18

Recognizing the Real Line

Yuri Gurevich and W. Charles Holland

Journal:

Transactions of the American Mathematical Society

Year:

1981

Language:

english

File:

PDF, 951 KB

english, 1981

19

Energy and Concentration Nonequilibriums in the Theory of Thermoelectric Processes

Gurevich, Yuri G., Lashkevych, Igor

Journal:

Journal of Electronic Materials

Year:

2015

Language:

english

File:

PDF, 220 KB

english, 2015

20

The monadic theory of ω 2

Gurevich, Yuri, Magidor, Menachem, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 925 KB

english, 1983

21

The Decision Problem for Branching Time Logic

Yuri Gurevich and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 998 KB

english, 1985

22

Rabin's uniformization problem

Gurevich, Yuri, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 991 KB

english, 1983

23

Isolation and Identification of a Low Density Polyethylene Degradable Bacterium

Song, Yi Ling, Yang, Jun, Pan, Hong, Li, Jing Wen, Zhu, Jian Bo, Deng, Xiao Yan, Khizhnyak, Sergey V., Gurevich, Yury L.

Journal:

Advanced Materials Research

Year:

2011

Language:

english

File:

PDF, 487 KB

english, 2011

24

Modest theory of short chains. I

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 737 KB

english, 1979

25

Abstract state machines capture parallel algorithms

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

26

Generating finite state machines from abstract state machines

Grieskamp, Wolfgang, Gurevich, Yuri, Schulte, Wolfram, Veanes, Margus

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 323 KB

english, 2002

27

Ordinary interactive small-step algorithms, III

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 336 KB

english, 2007

28

Inadequacy of computable loop invariants

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 98 KB

english, 2001

29

Program termination and well partial orderings

Blass, Andreas, Gurevich, Yuri

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 213 KB

english, 2008

30

Energy flux in semiconductors: Interaction of thermal and concentration nonequilibriums

Lashkevych, Igor, Gurevich, Yuri G.

Journal:

International Journal of Heat and Mass Transfer

Year:

2016

Language:

english

File:

PDF, 295 KB

english, 2016

31

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || From semantics to rules: A machine assisted analysis

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 792 KB

english, 1994

32

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Petri nets and the equivalence problem

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 610 KB

english, 1994

33

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Logical aspects of set constraints

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 740 KB

english, 1994

34

Rigid homogeneous chains

Glass, A. M. W., Gurevich, Yuri, Holland, W. Charles, Shelah, Saharon

Journal:

Mathematical Proceedings of the Cambridge Philosophical Society

Year:

1981

Language:

english

File:

PDF, 737 KB

english, 1981

35

SPIE Proceedings [SPIE Second International Conference on Optical Information Processing - St. Petersburg, Russia (Monday 17 June 1996)] Second International Conference on Optical Information Processing - Multichannel small-size Bragg cell based on a tellurium dioxide single crystal

Sokolov, Vladimir, Andreyev, Sergei V., Belyaev, Andrey V., Gurevich, Boris S., Markov, Vladimir A., Sokolov, I. A., Alferov, Zhores I., Gulyaev, Yuri V., Pape, Dennis R.

Year:

1996

Language:

english

File:

PDF, 154 KB

english, 1996

36

Witness algebra and anyon braiding

Blass, Andreas, Gurevich, Yuri

Journal:

Mathematical Structures in Computer Science

Year:

2020

File:

PDF, 1.67 MB

2020

37

Expanded theory of ordered Abelian groups

Journal:

Annals of Mathematical Logic

Year:

1977

Language:

english

File:

PDF, 1.68 MB

english, 1977

38

On Matijasevitch's nontraditional approach to search problems

Andreas Blass, Yuri Gurevich

Journal:

Information Processing Letters

Year:

1989

Language:

english

File:

PDF, 497 KB

english, 1989

39

Normal forms for second-order logic over finite structures, and classification of NP optimization problems

Thomas Eiter, Georg Gottlob, Yuri Gurevich

Journal:

Annals of Pure and Applied Logic

Year:

1996

Language:

english

File:

PDF, 1024 KB

english, 1996

40

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 72 KB

english, 2006

41

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 69 KB

english, 2007

42

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 71 KB

english, 2008

43

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 71 KB

english, 2009

44

Preface

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 66 KB

english, 2010

45

Content-dependent chunking for differential compression, the local maximum approach

Nikolaj Bjørner, Andreas Blass, Yuri Gurevich

Journal:

Journal of Computer and System Sciences

Year:

2010

Language:

english

File:

PDF, 1.27 MB

english, 2010

46

Transport and recombination in solar cells: New perspectives

Yury G. Gurevich, Georgiy N. Logvinov, J. Enrique Velázquez, Oleg Yu Titov

Journal:

Solar Energy Materials and Solar Cells

Year:

2007

Language:

english

File:

PDF, 135 KB

english, 2007

47

Partial updates

Yuri Gurevich, Nikolai Tillmann

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 345 KB

english, 2005

48

Semantic essence of AsmL

Yuri Gurevich, Benjamin Rossman, Wolfram Schulte

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 341 KB

english, 2005

49

Can abstract state machines be useful in language theory?

Yuri Gurevich, Margus Veanes, Charles Wallace

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

50

A variation on the zero-one law

Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpré

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 189 KB

english, 1998